1. A Course on Mathematical Logi
پدیدآورنده : / by Shashi Mohan Srivastava
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : Mathematics,Computer science,Algebra,Logic, Symbolic and mathematical,Electronic books
رده :
E-BOOK
2. A description of 'aspectual' phenomena in Arabic
پدیدآورنده : Sitrak, Sami J.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : PJ6131.S5 ; Arabic language--Morphology
3. A first journey through logic /
پدیدآورنده : Martin Hils, François Loeser.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Logic, Symbolic and mathematical, Textbooks.,Mathematics, Textbooks.,Logic, Symbolic and mathematical.,Mathematical logic and foundations -- Instructional exposition (textbooks, tutorial papers, etc.),Mathematics.,Mathematische Logik
رده :
QA9
.
H52445
2019
4. A formalization of set theory without variables /
پدیدآورنده : by Alfred Tarski and Steven Givant.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Logic, Symbolic and mathematical.,Set theory.,Logic, Symbolic and mathematical.,Ensembles, Théorie des.,Logique symbolique et mathématique.,Axiomatische Mengenlehre,Axiomatische Mengenlehre.,Logic, Symbolic and mathematical.,Mathematische Logik,Mathematische Logik.,Mengenlehre,Mengenlehre.,Set theory.,Teoria Dos Conjuntos.,Verzamelingen (wiskunde)
رده :
QA248
.
T37
1987
5. A primer of infinitesimal analysis /
پدیدآورنده : John L. Bell.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Nonstandard mathematical analysis.,MATHEMATICS-- Calculus.,MATHEMATICS-- Mathematical Analysis.,Nonstandard mathematical analysis.
رده :
QA299
.
82
.
B45
2008eb
6. AXIOMATIC SET THEORY
پدیدآورنده :
کتابخانه: كتابخانه مركزي دانشكده نفت اهواز (خوزستان)
موضوع :
رده :
QA
,
248
,
S92
7. Abstract Objects :
پدیدآورنده : by Edward N. Zalta.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Linguistics -- Philosophy.,Philosophy (General),Science -- Philosophy.
8. Algebraic methods in general rough sets /
پدیدآورنده : A. Mani, Gianpiero Cattaneo, Ivo Düntsch, editors.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Rough sets.,MATHEMATICS-- General.,Rough sets.
رده :
QA248
9. An axiomatic approach to geometry
پدیدآورنده : Borceux, Francis, 8491-
کتابخانه: (طهران)
موضوع : ، Geometry,، Axiomatic set theory
رده :
QA
445
.
B67G4
I
10. An axiomatic approach to geometry
پدیدآورنده : / Francis Borceux
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : Geometry,Axiomatic set theory,Mathematics,Geometry,History of Mathematical Sciences,Projective Geometry,MATHEMATICS / Geometry / General, bisacsh
رده :
E-BOOK
11. An introduction to independence for analysts
پدیدآورنده : Dales, H. G.)Harold G.(
کتابخانه: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع : ، Forcing )Model theory(,، Independence )Mathematics(,، Axiomatic set theory
رده :
QA
9
.
7
.
D35
1987
12. An introduction to independence for analysts
پدیدآورنده : Dales, H. G.)Harold G.(
کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)
موضوع : ، Forcing )Model theory(,، Independence )Mathematics(,، Axiomatic set theory
رده :
QA
9
.
7
.
D35
1987
13. An introduction to symmetry and supersymmetry in quantum field theory /
پدیدآورنده : Jan Lopuszánski.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Quantum field theory.,Supersymmetry.,Symmetry (Physics),Champs, théorie quantique des.,Kwantumveldentheorie.,Quantenfeldtheorie,Quantum field theory.,SCIENCE-- Waves & Wave Mechanics.,Supersymétrie.,Supersymmetrie,Supersymmetrie.,Supersymmetry.,Symétrie (Physique),Symmetrie,Symmetry (Physics)
رده :
QC174
.
17
.
S9
L66
1991eb
14. Applications of process algebra
پدیدآورنده : edited by J.C.M. Baeten
کتابخانه: المکتبۀ المرکزیۀ ومرکز التوثیق (سمنان)
موضوع : ، Machine theory,، Parallel processing )Electronic computers(,Mathematics ، Computer science,، Computer network protocols,، Axiomatic set theory
رده :
QA
267
.
A67
2004
15. Axiomatic Fuzzy Set Theory and Its Applications
پدیدآورنده : Liu, Xiaodong
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه صنعتي خواجه نصير الدين طوسى (طهران)
موضوع : ، Fuzzy sets
رده :
QA
248
.
5
.
L58
16. Axiomatic characterization of physical geometry
پدیدآورنده : Schmidt, Heinz-Jurgen, 8491-
کتابخانه: (طهران)
موضوع : ، Geometry,، Axiomatic set theory
رده :
QC
3
.
L28
Vol
.
111
17. Axiomatic characterization of physical geometry
پدیدآورنده : Schmidt, H.-J.)Heinz-Jurgen(
کتابخانه: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع : ، Geometry,، Axiomatic set theory
رده :
QC
20
.
7
.
G44
S35
18. Axiomatic design
پدیدآورنده : / Nam Pyo Suh
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (أردبیل)
موضوع : Industrial design--Methodology,Axiomatic set theory
رده :
TS171
.
4
.
S84
2010
19. Axiomatic design: advances and applications
پدیدآورنده : Suh, Nam P.
کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)
موضوع : Methodology ، Design, Industrial,، Axiomatic set theory
رده :
TS
171
.
4
.
S84
2001
20. Axiomatic design: advances and applications
پدیدآورنده : Suh, Nam Pyo
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه صنعتي خواجه نصير الدين طوسى (طهران)
موضوع : Methodology ، Design, Industrial,، Axiomatic set theory
رده :
TS
171
.
4
.
S84
